Eberbach, Eugene On completeness of cost metrics and meta-search algorithms in $-calculus. (English) Zbl 07687249 Fundam. Inform. 188, No. 2, 63-90 (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{E. Eberbach}, Fundam. Inform. 188, No. 2, 63--90 (2022; Zbl 07687249) Full Text: DOI arXiv
Lanese, Ivan; Palacios, Adrián; Vidal, Germán Causal-consistent replay reversible semantics for message passing concurrent programs. (English) Zbl 1482.68131 Fundam. Inform. 178, No. 3, 229-266 (2021). MSC: 68Q55 68N30 68Q85 PDFBibTeX XMLCite \textit{I. Lanese} et al., Fundam. Inform. 178, No. 3, 229--266 (2021; Zbl 1482.68131) Full Text: DOI
Cassez, Franck; Jensen, Peter Gjøl; Guldstrand, Larsen Kim Verification and parameter synthesis for real-time programs using refinement of trace abstraction. (English) Zbl 1478.68053 Fundam. Inform. 178, No. 1-2, 31-57 (2021). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{F. Cassez} et al., Fundam. Inform. 178, No. 1--2, 31--57 (2021; Zbl 1478.68053) Full Text: DOI arXiv
Hermenegildo, Manuel (ed.); López-García, Pedro (ed.); Pettorossi, Alberto (ed.); Proietti, Maurizio (ed.) Special issue on the 26th international symposium on logic-based program synthesis and transformation: LOPSTR 2016. Preface. (English) Zbl 1497.68018 Fundam. Inform. 177, No. 3-4, i-iii (2020). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{M. Hermenegildo} (ed.) et al., Fundam. Inform. 177, No. 3--4, i-iii (2020; Zbl 1497.68018) Full Text: DOI
Alpuente, María; Pardo, Daniel; Villanueva, Alicia Abstract contract synthesis and verification in the symbolic \(\mathbb{K}\) framework. (English) Zbl 1497.68106 Fundam. Inform. 177, No. 3-4, 235-273 (2020). MSC: 68N30 68N15 68Q60 PDFBibTeX XMLCite \textit{M. Alpuente} et al., Fundam. Inform. 177, No. 3--4, 235--273 (2020; Zbl 1497.68106) Full Text: DOI
Konishi, Tatsuya; Kojima, Hideharu; Nakagawa, Hiroyuki; Tsuchiya, Tatsuhiro Finding minimum locating arrays using a CSP solver. (English) Zbl 1471.68070 Fundam. Inform. 174, No. 1, 27-42 (2020). MSC: 68N30 05B40 68R07 68T20 PDFBibTeX XMLCite \textit{T. Konishi} et al., Fundam. Inform. 174, No. 1, 27--42 (2020; Zbl 1471.68070) Full Text: DOI arXiv
Skeirik, Stephen; Stefanescu, Andrei; Meseguer, José A constructor-based reachability logic for rewrite theories. (English) Zbl 1471.68076 Fundam. Inform. 173, No. 4, 315-382 (2020). MSC: 68N30 03B44 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{S. Skeirik} et al., Fundam. Inform. 173, No. 4, 315--382 (2020; Zbl 1471.68076) Full Text: DOI
Hanus, Michael Combining static and dynamic contract checking for Curry. (English) Zbl 1471.68065 Fundam. Inform. 173, No. 4, 285-314 (2020). MSC: 68N30 68N18 68Q60 PDFBibTeX XMLCite \textit{M. Hanus}, Fundam. Inform. 173, No. 4, 285--314 (2020; Zbl 1471.68065) Full Text: DOI
Fioravanti, Fabio (ed.); Gallagher, John P. (ed.); Proietti, Maurizio (ed.) Preface: Special issue on the 27th international symposium on logic-based program synthesis and transformation: LOPSTR 2017. (English) Zbl 1471.68014 Fundam. Inform. 173, No. 4, i-ii (2020). MSC: 68-06 68N30 00B25 PDFBibTeX XMLCite \textit{F. Fioravanti} (ed.) et al., Fundam. Inform. 173, No. 4, i-ii (2020; Zbl 1471.68014) Full Text: DOI
Marquer, Yoann Algorithmic completeness of imperative programming languages. (English) Zbl 1423.68087 Fundam. Inform. 168, No. 1, 51-77 (2019). MSC: 68N15 68N30 68Q05 PDFBibTeX XMLCite \textit{Y. Marquer}, Fundam. Inform. 168, No. 1, 51--77 (2019; Zbl 1423.68087) Full Text: DOI
Penczek, Wojciech (ed.); Schlingloff, Holger (ed.); Wasilewski, Piotr (ed.) Concurrency, specification, and programming: special issue of selected papers of CS&P 2017. Preface. (English) Zbl 1412.00049 Fundam. Inform. 165, No. 3-4, i-iii (2019). MSC: 00B25 68-06 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{W. Penczek} (ed.) et al., Fundam. Inform. 165, No. 3--4, i-iii (2019; Zbl 1412.00049) Full Text: DOI
Czaja, Ludwik (ed.); Penczek, Wojciech (ed.); Schlingloff, Holger (ed.); Son, Nguyen Hung (ed.) Concurrency, specification, and programming: special issue of selected papers of CS&P 2016. Preface. (English) Zbl 1395.00064 Fundam. Inform. 157, No. 4, i-ii (2018). MSC: 00B25 68-06 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Czaja} (ed.) et al., Fundam. Inform. 157, No. 4, i-ii (2018; Zbl 1395.00064) Full Text: DOI
Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi Reference abstract domains and applications to string analysis. (English) Zbl 1386.68031 Fundam. Inform. 158, No. 4, 297-326 (2018). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{R. Amadini} et al., Fundam. Inform. 158, No. 4, 297--326 (2018; Zbl 1386.68031) Full Text: DOI
Milius, Stefan; Litak, Tadeusz Guard your daggers and traces: properties of guarded (co-)recursion. (English) Zbl 1375.68042 Fundam. Inform. 150, No. 3-4, 407-449 (2017). MSC: 68N30 18C10 18D15 68Q55 PDFBibTeX XMLCite \textit{S. Milius} and \textit{T. Litak}, Fundam. Inform. 150, No. 3--4, 407--449 (2017; Zbl 1375.68042) Full Text: DOI arXiv
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio Program verification using constraint handling rules and array constraint generalizations. (English) Zbl 1374.68113 Fundam. Inform. 150, No. 1, 73-117 (2017). MSC: 68N30 68N17 PDFBibTeX XMLCite \textit{E. De Angelis} et al., Fundam. Inform. 150, No. 1, 73--117 (2017; Zbl 1374.68113) Full Text: DOI
Alessi, Fabio; Cardone, Felice Tiered objects. (English) Zbl 1373.68185 Fundam. Inform. 149, No. 3, 263-295 (2016). MSC: 68P05 03G30 06D20 18F20 68N30 68Q65 PDFBibTeX XMLCite \textit{F. Alessi} and \textit{F. Cardone}, Fundam. Inform. 149, No. 3, 263--295 (2016; Zbl 1373.68185) Full Text: DOI
Podymov, Vladislav An efficient equivalence-checking algorithm for a model of programs with commutative and absorptive statements. (English) Zbl 1373.68180 Fundam. Inform. 147, No. 2-3, 315-336 (2016). MSC: 68N30 PDFBibTeX XMLCite \textit{V. Podymov}, Fundam. Inform. 147, No. 2--3, 315--336 (2016; Zbl 1373.68180) Full Text: DOI
Alexandru, Andrei; Ciobanu, Gabriel Abstract interpretations in the framework of invariant sets. (English) Zbl 1358.68066 Fundam. Inform. 144, No. 1, 1-22 (2016). MSC: 68N30 06A15 PDFBibTeX XMLCite \textit{A. Alexandru} and \textit{G. Ciobanu}, Fundam. Inform. 144, No. 1, 1--22 (2016; Zbl 1358.68066) Full Text: DOI
Galletta, Letterio An abstract interpretation framework for type and effect systems. (English) Zbl 1315.68089 Fundam. Inform. 134, No. 3-4, 355-393 (2014). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{L. Galletta}, Fundam. Inform. 134, No. 3--4, 355--393 (2014; Zbl 1315.68089) Full Text: DOI
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha Synthesis of Reo connectors for strategies and controllers. (English) Zbl 1286.68067 Fundam. Inform. 130, No. 1, 1-20 (2014). MSC: 68N30 68Q45 PDFBibTeX XMLCite \textit{C. Baier} et al., Fundam. Inform. 130, No. 1, 1--20 (2014; Zbl 1286.68067) Full Text: DOI
Banu-Demergian, Iulia Teodora; Stefanescu, Gheorghe Towards a formal representation of interactive systems. (English) Zbl 1359.68156 Fundam. Inform. 131, No. 3-4, 313-336 (2014). MSC: 68Q45 68N30 68Q10 PDFBibTeX XMLCite \textit{I. T. Banu-Demergian} and \textit{G. Stefanescu}, Fundam. Inform. 131, No. 3--4, 313--336 (2014; Zbl 1359.68156) Full Text: DOI
Dąbrowski, Robert; Timoszuk, Grzegorz; Stencel, Krzysztof One graph to rule them all. Software measurement and management. (English) Zbl 1285.68038 Fundam. Inform. 128, No. 1-2, 47-63 (2013). MSC: 68N30 68R10 68P15 PDFBibTeX XMLCite \textit{R. Dąbrowski} et al., Fundam. Inform. 128, No. 1--2, 47--63 (2013; Zbl 1285.68038) Full Text: DOI
Bellia, Marco; Occhiuto, M. Eugenia Java SAM typed closures: a sound and complete type inference system for nominal types. (English) Zbl 1285.68025 Fundam. Inform. 128, No. 1-2, 17-33 (2013). MSC: 68N15 68N30 PDFBibTeX XMLCite \textit{M. Bellia} and \textit{M. E. Occhiuto}, Fundam. Inform. 128, No. 1--2, 17--33 (2013; Zbl 1285.68025) Full Text: DOI
Czaja, Ludwik (ed.) Concurrency, specification and programming. Preface. (English) Zbl 1298.00267 Fundam. Inform. 128, No. 1-2, v (2013). MSC: 00B25 68-06 68N30 68Q60 68Q85 68T30 68T37 PDFBibTeX XMLCite \textit{L. Czaja} (ed.), Fundam. Inform. 128, No. 1--2, v (2013; Zbl 1298.00267) Full Text: DOI
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Proving theorems by program transformation. (English) Zbl 1315.03019 Fundam. Inform. 127, No. 1-4, 115-134 (2013). MSC: 03B35 03B44 68N17 68N30 68T15 PDFBibTeX XMLCite \textit{F. Fioravanti} et al., Fundam. Inform. 127, No. 1--4, 115--134 (2013; Zbl 1315.03019) Full Text: DOI
Penczek, Wojciech (ed.) Special issue: Concurrency specification and programming (CS&P). Selected papers based on the presentations at the workshop, Pułtusk, Poland, September 28–30, 2011. (English) Zbl 1286.68007 Fundam. Inform. 120, No. 2, 111-203 (2012). MSC: 68-06 68N19 68N30 00B25 PDFBibTeX XML
Bergstra, J. A.; Middelburg, C. A. On the behaviours produced by instruction sequences under execution. (English) Zbl 1256.68041 Fundam. Inform. 120, No. 2, 111-144 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Fundam. Inform. 120, No. 2, 111--144 (2012; Zbl 1256.68041) Full Text: DOI
Mrozek, Ireneusz; Yarmolik, Vyacheslav Antirandom test vectors for BIST in hardware/software systems. (English) Zbl 1285.68018 Fundam. Inform. 119, No. 2, 163-185 (2012). MSC: 68M15 68N30 PDFBibTeX XMLCite \textit{I. Mrozek} and \textit{V. Yarmolik}, Fundam. Inform. 119, No. 2, 163--185 (2012; Zbl 1285.68018) Full Text: Link
Bourguiba, Imen; Moa, Belaid Tabular expressions operators. (English) Zbl 1247.68051 Fundam. Inform. 119, No. 2, 121-147 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{I. Bourguiba} and \textit{B. Moa}, Fundam. Inform. 119, No. 2, 121--147 (2012; Zbl 1247.68051) Full Text: Link
Poskitt, Christopher M.; Plump, Detlef Hoare-style verification of graph programs. (English) Zbl 1284.68333 Fundam. Inform. 118, No. 1-2, 135-175 (2012). MSC: 68Q42 68N30 68Q55 PDFBibTeX XMLCite \textit{C. M. Poskitt} and \textit{D. Plump}, Fundam. Inform. 118, No. 1--2, 135--175 (2012; Zbl 1284.68333) Full Text: DOI
Guerra, Esther; de Lara, Juan An algebraic semantics for QVT-relations check-only transformations. (English) Zbl 1380.68264 Fundam. Inform. 114, No. 1, 73-101 (2012). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{E. Guerra} and \textit{J. de Lara}, Fundam. Inform. 114, No. 1, 73--101 (2012; Zbl 1380.68264) Full Text: Link
Weidlich, Matthias; Polyvyanyy, Artem; Mendling, Jan; Weske, Mathias Causal behavioural profiles – efficient computation, applications, and evaluation. (English) Zbl 1234.68312 Fundam. Inform. 113, No. 3-4, 399-435 (2011). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. Weidlich} et al., Fundam. Inform. 113, No. 3--4, 399--435 (2011; Zbl 1234.68312) Full Text: Link
Hostettler, Teve; Marechal, Alexis; Linard, Alban; Risoldi, Matteo; Buchs, Didier High-level Petri net model checking with AlPiNA. (English) Zbl 1248.68332 Fundam. Inform. 113, No. 3-4, 229-264 (2011). Reviewer: Christel Baier (Dresden) MSC: 68Q60 68N30 68Q85 68M14 PDFBibTeX XMLCite \textit{T. Hostettler} et al., Fundam. Inform. 113, No. 3--4, 229--264 (2011; Zbl 1248.68332) Full Text: Link
Case, John; Moelius, Samuel E. III Properties complementary to program self-reference. (English) Zbl 1237.68058 Fundam. Inform. 111, No. 3, 281-311 (2011). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Case} and \textit{S. E. Moelius III}, Fundam. Inform. 111, No. 3, 281--311 (2011; Zbl 1237.68058) Full Text: Link
Special issue: Concurrency specification and programming (CS&P). Selected papers based on the presentations at the workshop, Helenenau, Germany, September 27–29 September, 2010. (English) Zbl 1255.68013 Fundam. Inform. 109, No. 3, i, 223-368 (2011). MSC: 68-06 68N30 68Q85 68T37 00B25 PDFBibTeX XML
Srebrny, Marian; Stȩpień, Lidia SAT as a programming environment for linear algebra. (English) Zbl 1221.68064 Fundam. Inform. 102, No. 1, 115-127 (2010). MSC: 68N30 68T15 68W30 PDFBibTeX XMLCite \textit{M. Srebrny} and \textit{L. Stȩpień}, Fundam. Inform. 102, No. 1, 115--127 (2010; Zbl 1221.68064) Full Text: DOI
Kuśmierek, Jarosław Dominik Mateusz; Bono, Viviana Big-step operational semantics revisited. (English) Zbl 1217.68136 Fundam. Inform. 103, No. 1-4, 137-172 (2010). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{J. D. M. Kuśmierek} and \textit{V. Bono}, Fundam. Inform. 103, No. 1--4, 137--172 (2010; Zbl 1217.68136) Full Text: DOI
Bergstra, J. A.; Middelburg, C. A. Data linkage dynamics with shedding. (English) Zbl 1217.68058 Fundam. Inform. 103, No. 1-4, 31-52 (2010). MSC: 68N30 68Q05 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Fundam. Inform. 103, No. 1--4, 31--52 (2010; Zbl 1217.68058) Full Text: DOI
Veltink, Gerrit Jan PSF – a retrospective. (English) Zbl 1211.68274 Fundam. Inform. 100, No. 1-4, 181-227 (2010). MSC: 68Q85 68-03 68N30 68Q60 PDFBibTeX XMLCite \textit{G. J. Veltink}, Fundam. Inform. 100, No. 1--4, 181--227 (2010; Zbl 1211.68274) Full Text: DOI
Orejas, Fernando; Ehrig, Hartmut; Klein, Markus; Padberg, Julia; Pino, Elvira; Pérez, Sonia A generic approach to connector architectures. II: Instantiation to Petri nets and CSP. (English) Zbl 1205.68123 Fundam. Inform. 99, No. 1, 94-124 (2010). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Fundam. Inform. 99, No. 1, 94--124 (2010; Zbl 1205.68123) Full Text: DOI
Orejas, Fernando; Ehrig, Hartmut; Klein, Markus; Padberg, Julia; Pino, Elvira; Pérez, Sonia A generic approach to connector architectures. I: The general framework. (English) Zbl 1196.68052 Fundam. Inform. 99, No. 1, 63-93 (2010). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{F. Orejas} et al., Fundam. Inform. 99, No. 1, 63--93 (2010; Zbl 1196.68052) Full Text: DOI
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Verifying a class: combining testing and proving. (English) Zbl 1215.68132 Fundam. Inform. 95, No. 2-3, 305-324 (2009). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{G. Mirkowska} et al., Fundam. Inform. 95, No. 2--3, 305--324 (2009; Zbl 1215.68132) Full Text: DOI
Bergstra, Jan A.; Middelburg, Cornelis A. Instruction sequences with dynamically instantiated instructions. (English) Zbl 1200.68069 Fundam. Inform. 96, No. 1-2, 27-48 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Fundam. Inform. 96, No. 1--2, 27--48 (2009; Zbl 1200.68069) Full Text: DOI
Stewart, Iain A. Program schemes, queues, the recursive spectrum and zero-one laws. (English) Zbl 1176.68083 Fundam. Inform. 91, No. 2, 411-435 (2009). MSC: 68Q05 68N30 68Q19 68Q15 PDFBibTeX XMLCite \textit{I. A. Stewart}, Fundam. Inform. 91, No. 2, 411--435 (2009; Zbl 1176.68083) Full Text: DOI
Mu, Kedian; Liu, Weiru; Jin, Zhi; Lu, Ruqian; Yue, Anbu; Bell, David Handling inconsistency in distributed software requirements specifications based on prioritized merging. (English) Zbl 1180.68120 Fundam. Inform. 91, No. 3-4, 631-670 (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{K. Mu} et al., Fundam. Inform. 91, No. 3--4, 631--670 (2009; Zbl 1180.68120) Full Text: DOI
Haghighi, Hassan; Mirian-Hosseinabadi, Seyed-Hassan Nondeterminism in constructive Z. (English) Zbl 1154.68040 Fundam. Inform. 88, No. 1-2, 109-134 (2008). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{H. Haghighi} and \textit{S.-H. Mirian-Hosseinabadi}, Fundam. Inform. 88, No. 1--2, 109--134 (2008; Zbl 1154.68040)
Hashemian, Seyyed Vahid; Mavaddat, Farhad A logical reasoning approach to automatic composition of stateless components. (English) Zbl 1154.68360 Fundam. Inform. 89, No. 4, 539-577 (2008). MSC: 68N30 PDFBibTeX XMLCite \textit{S. V. Hashemian} and \textit{F. Mavaddat}, Fundam. Inform. 89, No. 4, 539--577 (2008; Zbl 1154.68360)
Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. (English) Zbl 1159.68360 Fundam. Inform. 85, No. 1-4, 1-17 (2008). MSC: 68N01 03B70 68N30 68Q60 PDFBibTeX XMLCite \textit{G. Mirkowska} et al., Fundam. Inform. 85, No. 1--4, 1--17 (2008; Zbl 1159.68360)
Ábrahám, Erika; de Boer, Frank S.; de Roever, Willem-Paul; Steffen, Martin A deductive proof system for multithreaded Java with exceptions. (English) Zbl 1144.68012 Fundam. Inform. 82, No. 4, 391-463 (2008). MSC: 68N15 68N19 68N30 03B70 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Fundam. Inform. 82, No. 4, 391--463 (2008; Zbl 1144.68012)
Clarke, Dave A basic logic for reasoning about connector reconfiguration. (English) Zbl 1147.68570 Fundam. Inform. 82, No. 4, 361-390 (2008). MSC: 68Q60 68N30 03B70 PDFBibTeX XMLCite \textit{D. Clarke}, Fundam. Inform. 82, No. 4, 361--390 (2008; Zbl 1147.68570)
Stehr, Mark-Oliver Compositionality for tightly coupled systems: a new application of the propositions-as-types interpretation. (English) Zbl 1147.68578 Fundam. Inform. 82, No. 4, 311-340 (2008). MSC: 68Q60 68N30 03B44 PDFBibTeX XMLCite \textit{M.-O. Stehr}, Fundam. Inform. 82, No. 4, 311--340 (2008; Zbl 1147.68578)
Carette, Jacques; Janicki, Ryszard Computing properties of numerical imperative programs by symbolic computation. (English) Zbl 1128.68116 Fundam. Inform. 80, No. 1-3, 125-146 (2007). MSC: 68W30 68N30 PDFBibTeX XMLCite \textit{J. Carette} and \textit{R. Janicki}, Fundam. Inform. 80, No. 1--3, 125--146 (2007; Zbl 1128.68116)
Abel, Andreas; Coquand, Thierry Untyped algorithmic equality for Martin-Löf’s logical framework with surjective pairs. (English) Zbl 1121.68026 Fundam. Inform. 77, No. 4, 345-395 (2007). MSC: 68N30 03B40 68N18 PDFBibTeX XMLCite \textit{A. Abel} and \textit{T. Coquand}, Fundam. Inform. 77, No. 4, 345--395 (2007; Zbl 1121.68026)
Hayashi, Susumu Can proofs be animated by games? (English) Zbl 1182.03067 Fundam. Inform. 77, No. 4, 331-343 (2007). MSC: 03B70 03B35 68N30 68Q32 91A80 PDFBibTeX XMLCite \textit{S. Hayashi}, Fundam. Inform. 77, No. 4, 331--343 (2007; Zbl 1182.03067)
Felty, Amy P. Tutorial examples of the semantic approach to foundational proof-carrying code. (English) Zbl 1121.68029 Fundam. Inform. 77, No. 4, 303-330 (2007). MSC: 68N30 68Q42 68Q55 PDFBibTeX XMLCite \textit{A. P. Felty}, Fundam. Inform. 77, No. 4, 303--330 (2007; Zbl 1121.68029)
Janicki, Ryszard; Lê, Dai Tri Man Towards a pragmatic mereology. (English) Zbl 1108.68031 Fundam. Inform. 75, No. 1-4, 295-314 (2007). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{R. Janicki} and \textit{D. T. M. Lê}, Fundam. Inform. 75, No. 1--4, 295--314 (2007; Zbl 1108.68031)
Holzer, Markus; Kutrib, Martin Variable complexity of simple programs. (English) Zbl 1106.68039 Fundam. Inform. 74, No. 4, 511-528 (2006). MSC: 68Q05 68N30 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{M. Kutrib}, Fundam. Inform. 74, No. 4, 511--528 (2006; Zbl 1106.68039)
Orzan, Simona; van de Pol, Jaco Distribution of a simple shared dataspace architecture. (English) Zbl 1114.68036 Fundam. Inform. 73, No. 4, 535-559 (2006). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{S. Orzan} and \textit{J. van de Pol}, Fundam. Inform. 73, No. 4, 535--559 (2006; Zbl 1114.68036)
Brogi, Antonio; Jacquet, Jean-Marie; Linden, Isabelle Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching. (English) Zbl 1110.68026 Fundam. Inform. 73, No. 4, 431-478 (2006). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. Brogi} et al., Fundam. Inform. 73, No. 4, 431--478 (2006; Zbl 1110.68026)
Dinu, Liviu P.; Sgarro, Andrea A low-complexity distance for DNA strings. (English) Zbl 1119.92316 Fundam. Inform. 73, No. 3, 361-372 (2006). MSC: 92C40 92-08 92D20 PDFBibTeX XMLCite \textit{L. P. Dinu} and \textit{A. Sgarro}, Fundam. Inform. 73, No. 3, 361--372 (2006; Zbl 1119.92316)
Rosenblueth, David A. A multiple-clause folding rule using instantiation and generalization. (English) Zbl 1098.68031 Fundam. Inform. 69, No. 1-2, 219-249 (2006). MSC: 68N30 68N17 PDFBibTeX XMLCite \textit{D. A. Rosenblueth}, Fundam. Inform. 69, No. 1--2, 219--249 (2006; Zbl 1098.68031)
King, Andy; Martin, Jonathan C. Control generation by program transformation. (English) Zbl 1096.68027 Fundam. Inform. 69, No. 1-2, 179-218 (2006). MSC: 68N30 PDFBibTeX XMLCite \textit{A. King} and \textit{J. C. Martin}, Fundam. Inform. 69, No. 1--2, 179--218 (2006; Zbl 1096.68027)
Bravenboer, Martin; van Dam, Arthur; Olmos, Karina; Visser, Eelco Program transformation with scoped dynamic rewrite rules. (English) Zbl 1097.68540 Fundam. Inform. 69, No. 1-2, 123-178 (2006). MSC: 68N30 68Q42 PDFBibTeX XMLCite \textit{M. Bravenboer} et al., Fundam. Inform. 69, No. 1--2, 123--178 (2006; Zbl 1097.68540)
Chen, Chiyan; Shi, Rui; Xi, Hongwei Implementing typeful program transformations. (English) Zbl 1096.68024 Fundam. Inform. 69, No. 1-2, 103-121 (2006). MSC: 68N30 PDFBibTeX XMLCite \textit{C. Chen} et al., Fundam. Inform. 69, No. 1--2, 103--121 (2006; Zbl 1096.68024)
Johann, Patricia; Voigtländer, Janis The impact of \(seq\) on free theorems-based program transformations. (English) Zbl 1096.68026 Fundam. Inform. 69, No. 1-2, 63-102 (2006). MSC: 68N30 68N18 PDFBibTeX XMLCite \textit{P. Johann} and \textit{J. Voigtländer}, Fundam. Inform. 69, No. 1--2, 63--102 (2006; Zbl 1096.68026)
Chin, Wei-Ngan; Khoo, Siau-Cheng; Jones, Neil Redundant call elimination via tupling. (English) Zbl 1096.68025 Fundam. Inform. 69, No. 1-2, 1-37 (2006). MSC: 68N30 PDFBibTeX XMLCite \textit{W.-N. Chin} et al., Fundam. Inform. 69, No. 1--2, 1--37 (2006; Zbl 1096.68025)
Barbuti, Roberto; Cataudella, Stefano Abstract interpretation of an object calculus for synchronization optimizations. (English) Zbl 1096.68022 Fundam. Inform. 67, No. 1-3, 1-12 (2005). MSC: 68N30 PDFBibTeX XMLCite \textit{R. Barbuti} and \textit{S. Cataudella}, Fundam. Inform. 67, No. 1--3, 1--12 (2005; Zbl 1096.68022)
Stehr, Mark-Oliver The open calculus of constructions. II: An equational type theory with dependent types for programming, specification, and interactive theorem proving. (English) Zbl 1103.03033 Fundam. Inform. 68, No. 3, 249-288 (2005). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 03B70 03F35 68N30 68Q60 03B35 68T15 PDFBibTeX XMLCite \textit{M.-O. Stehr}, Fundam. Inform. 68, No. 3, 249--288 (2005; Zbl 1103.03033)
Stehr, Mark-Oliver The open calculus of constructions. I: An equational type theory with dependent types for programming, specification, and interactive theorem proving. (English) Zbl 1103.03032 Fundam. Inform. 68, No. 1-2, 131-174 (2005). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 03B70 03F35 68N30 68Q60 03B35 68T15 PDFBibTeX XMLCite \textit{M.-O. Stehr}, Fundam. Inform. 68, No. 1--2, 131--174 (2005; Zbl 1103.03032)
Boryczka, Mariusz Eliminating introns in ant colony programming. (English) Zbl 1096.68021 Fundam. Inform. 68, No. 1-2, 1-19 (2005). MSC: 68N19 68N30 68T05 PDFBibTeX XMLCite \textit{M. Boryczka}, Fundam. Inform. 68, No. 1--2, 1--19 (2005; Zbl 1096.68021)
Lisper, Bjórn Infinite unfolding and transformations of nondeterministic programs. (English) Zbl 1098.68029 Fundam. Inform. 66, No. 4, 415-439 (2005). MSC: 68N30 PDFBibTeX XMLCite \textit{B. Lisper}, Fundam. Inform. 66, No. 4, 415--439 (2005; Zbl 1098.68029)
Gibbons, Jeremy; Hutton, Graham Proof methods for corecursive programs. (English) Zbl 1098.68028 Fundam. Inform. 66, No. 4, 353-366 (2005). MSC: 68N30 PDFBibTeX XMLCite \textit{J. Gibbons} and \textit{G. Hutton}, Fundam. Inform. 66, No. 4, 353--366 (2005; Zbl 1098.68028)
Cunha, Alcino; Pinto, Jorge Sousa Point-free program transformation. (English) Zbl 1098.68024 Fundam. Inform. 66, No. 4, 315-352 (2005). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{A. Cunha} and \textit{J. S. Pinto}, Fundam. Inform. 66, No. 4, 315--352 (2005; Zbl 1098.68024)
Coppola, Paolo; Ronchi della Rocca, Simona Principal typing for lambda calculus in elementary affine logic. (English) Zbl 1095.03069 Fundam. Inform. 65, No. 1-2, 87-112 (2005). Reviewer: Lorenzo Tortora de Falco (Roma) MSC: 03F52 03B40 03B70 68N30 PDFBibTeX XMLCite \textit{P. Coppola} and \textit{S. Ronchi della Rocca}, Fundam. Inform. 65, No. 1--2, 87--112 (2005; Zbl 1095.03069)
Moschoyiannis, Sotiris; Shields, Michael W. A set-theoretic framework for component composition. (English) Zbl 1098.68030 Fundam. Inform. 59, No. 4, 373-396 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{S. Moschoyiannis} and \textit{M. W. Shields}, Fundam. Inform. 59, No. 4, 373--396 (2004; Zbl 1098.68030)
Bernardeschi, Cinzia; De Francesco, Nicoletta; Lettieri, Giuseppe Concrete and abstract semantics to check secure information flow in concurrent programs. (English) Zbl 1083.68065 Fundam. Inform. 60, No. 1-4, 81-98 (2004). MSC: 68Q55 68N30 PDFBibTeX XMLCite \textit{C. Bernardeschi} et al., Fundam. Inform. 60, No. 1--4, 81--98 (2004; Zbl 1083.68065) Full Text: Link
Barbuti, Roberto; Cataudella, Stefano; Tesei, Luca Abstract interpretation against races. (English) Zbl 1083.68025 Fundam. Inform. 60, No. 1-4, 67-79 (2004). MSC: 68N30 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Fundam. Inform. 60, No. 1--4, 67--79 (2004; Zbl 1083.68025) Full Text: Link
Hoffmann, Berthold Abstraction and control for shapely nested graph transformation. (English) Zbl 1089.68561 Fundam. Inform. 58, No. 1, 39-65 (2003). MSC: 68Q05 68R10 68N30 PDFBibTeX XMLCite \textit{B. Hoffmann}, Fundam. Inform. 58, No. 1, 39--65 (2003; Zbl 1089.68561)
Postow, Brian; Regan, Kenneth; Smith, Carl H. UPSILON: Universal programming system with incomplete lazy object notation. (English) Zbl 1012.68078 Fundam. Inform. 50, No. 3-4, 325-359 (2002). MSC: 68Q10 68N30 68Q05 PDFBibTeX XMLCite \textit{B. Postow} et al., Fundam. Inform. 50, No. 3--4, 325--359 (2002; Zbl 1012.68078)
Puntigam, Franz; Peter, Christof Types for active objects with static deadlock prevention. (English) Zbl 0997.68085 Fundam. Inform. 48, No. 4, 315-341 (2002). MSC: 68Q85 68N19 68N30 PDFBibTeX XMLCite \textit{F. Puntigam} and \textit{C. Peter}, Fundam. Inform. 48, No. 4, 315--341 (2002; Zbl 0997.68085)